constructive theorem
英 [kənˈstrʌktɪv ˈθɪərəm]
美 [kənˈstrʌktɪv ˈθiːərəm]
【计】构造定理
双语例句
- A convergent type of constructive theorem;
恒收敛型构造定理； - An interval type of constructive theorem;
区域型构造定理； - Based on a constructive theorem for GS systems, a new Generalized Chaotic Synchronization system ( GCS) is constructed.
根据广义混沌同步的基本理论构建了一个新的广义混沌同步系统（GCS）； - A proof of constructive type for a theorem by Welsh
Welsh定理的一种构造型证明 - The Constructive Method for Proving the Expansion Theorem of Determinants
证明行列式展开定理的构造性方法 - In this paper we give the following results: 1. A point type of constructive theorem;
该文得到以下结果：1.点型构造定理； - A Constructive Proof of Existence Theorem for Rational Form
有理标准形存在性定理的构造性证明 - The main result of this paper is that we give out the constructive proofs of the Lebesgue decomposition theorem and Radon-Nikodym theorem by means of Hahn's decomposition theorem.
本文的主要结果是借助于Hahn分解定理给出了Lebesgue分解定理和Radon-Nikodym定理的一种构造性证明。 - A Constructive Proof of Brouwer's Fixed Point Theorem Based on Integer Labelling In this paper a variable dimension simplicial restart algorithm with integer labelling for computing fixed points of a continuous mapping from simplex to itself is developed.
本文提出计算标准单纯形上连续自映射不动点的一种整数标号的变维数单纯重复开始算法，该算法给出了Brouwer不动点定理一个新的构造性证明。 - The new character istic depictive and more precise constructive theorem is finally gained.
从而得到了F-正则Г-环新的特征、刻画和较精细的结构定理。 - The constructive proofs of Lebesgue decomposition theorem and radon-nikodym theorem
Lebesgue分解定理和Radon-Nikodym定理的构造性证明 - A Constructive Proof of Brouwer's Fixed Point Theorem Based on Integer Labelling
整数标号的Brouwer不动点的构造性算法 - This paper gives the concept of resolutive signal space and a constructive approach to the sampling theorem, which results in a new scheme of signal processing containing Shannon sampling theorem as a special case.
建立了可分辨信号空间的概念，构造性地建立起该空间内函数的采样定理，由此将以Shannon采样定理为核心的信号处理方式纳入新的体系。